-
1 автоматическое доказательство
Большой англо-русский и русско-английский словарь > автоматическое доказательство
-
2 automatic demonstration
Англо-русский словарь по исследованиям и ноу-хау > automatic demonstration
-
3 theorem proving
1) Компьютерная техника: доказательство теоремы2) Нефть: доказательство теорем3) Программирование: автоматическое доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта), машинное доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта) -
4 automatic proof
Большой англо-русский и русско-английский словарь > automatic proof
-
5 automatic proof
Математика: автоматическое доказательство -
6 automatic theorem proving
Программирование: автоматическое доказательство теоремУниверсальный англо-русский словарь > automatic theorem proving
-
7 automatic theoreme-proving
Лингвистика: автоматическое доказательство теоремУниверсальный англо-русский словарь > automatic theoreme-proving
-
8 artificial intelligence
= AIискусственный интеллект, ИИмеждисциплинарное направление научных исследований и понятие, используемое в связи с разработкой интеллектуальных компьютерных систем, такими направлениями как экспертные системы, автоматическое доказательство теорем, распознавание образов, машинное зрение, робототехника, понимание естественных языков и др., т. е. систем, обладающих возможностями, которые мы традиционно приписываем человеческому разуму, - хранить знания и эффективно их применять. Термин ввёл разработчик языка Lisp Джон Маккарти (John McCarthy) летом 1956 г. на конференции в Дартмутском колледже (шт. Нью-Гемпшир) вместо предложенного в 1950 г. Аланом Тьюрингом термина computer intelligence (компьютерный интеллект). "В английском языке данное словосочетание не имеет той слегка фантастической антропоморфной окраски, которую оно приобрело в довольно неудачном русском переводе. Слово intelligence означает "умение рассуждать разумно", а вовсе не "интеллект", для которого есть английский аналог: intellect" (Т.А. Гаврилова). Современный ИИ делится на множество различных направлений, из которых два стратегические - прикладной, или слабый, ИИ (applied AI) и сильный ИИ (strong AI).Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > artificial intelligence
-
9 automatic proof
-
10 automatic theorem proving
одно из направлений исследований и разработок в области искусственного интеллектаАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > automatic theorem proving
-
11 proof
pru:f
1. сущ.
1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are confirmed by the most direct proof. ≈ Эти подозрения подтверждаются самыми прямыми доказательствами. ample proof clear proof conclusive proof convincing proof definite proof documentary proof incontestable proof indisputable proof irrefutable proof mathematical proof positive proof undeniable proof unquestionable proof б) юр. доказательство (виновности) (в форме свидетельских показаний, вещественных доказательств или какой-л. другой)
2) а) проверка, испытание;
проба Syn: test
1., trial
1., experiment
1. ;
examination, probation;
assay
1. б) мат. проверка ( правильности арифметических действий)
3) а) установленный градус крепости спирта above (under) proof ≈ выше (ниже) установленного градуса б) спирт установленной крепости
4) пробирка
5) фото первый, пробный отпечаток с пленки
6) а) корректура;
гранка б) пробный оттиск( с гравюры)
7) непроницаемость, защищенность( от чего-л.)
2. прил.
1) а) непроницаемый (against) ;
непробиваемый the proofest steel of Milan ≈ самая крепкая миланская сталь б) перен. недоступный, не поддающийся( лести и т. п.) в) используется как компонент сложных слов со значением 'гарантированно защищающий от чего-л.' a waterproof raincoat ≈ непромокаемый плащ ∙ Syn: strong, impenetrable, impervious, invulnerable
2) установленной крепости, определенной крепости (об алкогольных напитках)
3. гл.
1) а) делать непроницаемым и пр. [см. proof
2. ] б) спец. делать водонепроницаемым, придавать водонепроницаемость Syn: waterproof
3.
2) проверять, оценивать, испытывать а) полигр. вычитывать текст, осуществлять корректуру б) давать подходить тесту перед выпечкой в) делать пробный отпечаток с фотопленки Syn: test
2., estimate
2. доказательство;
подтверждение - * positive неопровержимое доказательство - documentary *, * by documentary evidence документальное доказательство - to give *s представить доказательства испытание, проверка, проба - * stick щуп, зонд( шотландское) (юридическое) судебное разбирательство без участия суда присяжных (полиграфия) корректура, пробный оттиск - * in galley, galley * гранки, корректура в гранках( полиграфия) пробный оттиск с гравюры( полиграфия) необрезанные края более узких и коротких листов книги (фотографическое) пробный отпечаток крепость( спирта) - above * выше установленного градуса пробирка неуязвимость;
непробиваемость непроницаемость;
герметичность защита( от чего-либо) - fool * автоматическое защитное приспособление, защита от неосторожного или неправильного обращения > the * of the pudding is in the eating чтобы узнать, каков пудинг, надо его попробовать;
все проверяется на практике, обо всем судят по результатам непроницаемый;
непробиваемый - * against bullets пуленепробиваемый - * against weather непромокаемый - to be * against water не пропускать воду;
быть водонепроницаемым не поддающийся, недоступный ( чему-либо) установленной крепости (о спирте) испытанный;
выдержавший испытание;
проверенный - * armour испытанное оружие как компонент сложных слов - fire-proof огнестойкий, огнеупорный - water-proof водонепроницаемый делать не поддающимся воздействию;
придавать стойкость, непроницаемость, непробиваемость - to * cloth делать материю водонепроницаемой (полиграфия) делать пробный оттиск (полиграфия) читать корректуру, гранки (фотографическое) делать пробный отпечаток испытывать;
проверять ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса absolute ~ определенное доказательство constructive ~ конструктивное доказательство correctness ~ доказательство правильности fictitious ~ ложное доказательство final burden of ~ окончательная обязанность доказывания final burden of ~ окончательное бремя доказывания further ~ дополнительное доказательство page ~ полигр. корректурный оттиск со сверстанного набора page ~ страничная корректура press ~ полигр. сводка prima facie ~ доказательство, достаточное при отсутствии опровержения produce ~ предъявлять доказательство program ~ вчт. доказательство правильности программы proof делать непроницаемым ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию ( чего-л.) ;
waterproof водонепроницаемый ~ делать пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ доказательство ~ доказывание ~ испытание;
проба;
to put (smth.) to the proof испытать( что-л.), подвергнуть( что-л.) испытанию ~ испытание ~ корректура;
гранка;
пробный оттиск (с гравюры) ~ корректура ~ недоступный, не поддающийся (лести и т. п.) ~ недоступный ~ непробиваемый ~ непроницаемый (against) ;
непробиваемый ~ непроницаемый ~ придавать непроницаемость ~ проба ~ пробирка ~ пробный оттиск ~ проверка ~ мат. проверка ~ (шотл.) рассмотрение дела судьей вместо суда присяжных ~ свидетельское показание ~ установленной крепости (о спирте) ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса ~ by appearance доказательство, достаточное при отсутствии опровержения ~ by appearance презумпция доказательства ~ in slips полигр. корректура в гранках ~ of debt банкрот. подтверждение доказательством заявления кредитора ~ of evidence свидетельское показание ~ of good character and repute рекомендательное письмо ~ of identity доказательство подлинности ~ of membership членский билет ~ of nonnegligent behaviour доказательство отсутствия небрежности ~ of paternity доказательство отцовства ~ of posting контроль проводки ~ of purchase доказательство покупки ~ of service доказательство оказания услуги ~ of termination вчт. доказательство правильности завершения работы ~ of will доказывание завещания ~ испытание;
проба;
to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction ~ полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen ~ print. пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.) ;
waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый ~ непромокаемый плащ ~ придавать водонепроницаемость written ~ письменное доказательство -
12 proof
1. [pru:f] n1. доказательство; подтверждениеproof positive - неопровержимое доказательство /подтверждение/
documentary proof, proof by documentary evidence - документальное доказательство
to give /to offer, to show, to produce, to bring forward/ proofs - представить доказательства
by way of proof he mentions... - в качестве доказательства /для подтверждения этого/ он приводит...
as a /in/ proof of his esteem and confidence - как /в/ доказательство его уважения и доверия
burden /onus/ of proof - юр. бремя доказывания
2. испытание, проверка, пробаproof stick - щуп, зонд
proof test - испытание; приёмочное или проверочное испытание
proof firing - воен. опытная стрельба; пробный обстрел
proof ground - воен. испытательный полигон
proof round - воен. контрольный выстрел
proof load - тех. контрольная нагрузка
proof-of-concept experiment - решающий эксперимент (для проверки какой-л. гипотезы)
to put /to bring/ smb., smth. to the proof - подвергнуть кого-л., что-л. испытанию /проверке/
3. шотл. юр. судебное разбирательство без участия суда присяжных4. полигр.1) корректура, пробный оттискproof in galley, galley proof - гранки, корректура в гранках
proof in sheets, page proofs - корректура в листах, вёрстка
2) пробный оттиск с гравюры3) необрезанные края более узких и коротких листов книги5. фото пробный отпечаток6. крепость ( спирта)above [under] proof - выше [ниже] установленного градуса
7. пробирка8. неуязвимость; непробиваемость9. непроницаемость; герметичность10. защита (от чего-л.)fool proof - автоматическое защитное приспособление, защита от неосторожного или неправильного обращения
2. [pru:f] a♢
the proof of the pudding is in the eating - чтобы узнать, каков пудинг, надо его попробовать; ≅ всё проверяется на практике, обо всём судят по результатам1. непроницаемый; непробиваемыйto be proof against water - не пропускать воду; быть водонепроницаемым /водоотталкивающим/
2. не поддающийся, недоступный (чему-л.)3. установленной крепости ( о спирте)4. испытанный; выдержавший испытание; проверенный5. (-proof) как компонент сложных слов:3. [pru:f] vfire-proof - огнестойкий, огнеупорный
1. делать не поддающимся воздействию; придавать стойкость, непроницаемость, непробиваемость и т. п.to proof cloth - делать материю водонепроницаемой /непромокаемой, водоотталкивающей/
2. полигр.1) делать пробный оттиск2) читать корректуру, гранки3. фото делать пробный отпечаток4. испытывать; проверять
См. также в других словарях:
Автоматическое доказательство — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов. В силу неразрешимости даже … Википедия
Автоматическое доказательство теорем — Автоматическое доказательство теорем доказательство теорем, реализуемое программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний … Википедия
АВТОМАТИЧЕСКОЕ УПРАВЛЕНИЕ И РЕГУЛИРОВАНИЕ — С первых шагов цивилизации человек пытался механизировать труд. Он очень быстро нашел пути замены мускульной энергии механической; высшей точкой этого начального периода технического прогресса была промышленная революция 18 в. Новая эпоха… … Энциклопедия Кольера
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
Неразрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
Разрешимая теория — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
Логика — Гр … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия